Set of Support, Demodulation, Paramodulation: A Historical Perspective
نویسندگان
چکیده
Abstract This article is a tribute to the scientific legacy of automated reasoning pioneer and JAR founder Lawrence T. (Larry) Wos. Larry’s main technical contributions were set-of-support strategy for resolution theorem proving, demodulation paramodulation inference rules building equality into resolution. Starting from original definitions these concepts in papers, this survey traces their evolution, unearthing often forgotten trails that connect those became standard field.
منابع مشابه
Spermatozoa: A Historical Perspective
The 100,000th scientific article on the subject of spermatozoa was recently published. Many studies have evaluated the characteristics of this important cell leading to great discoveries. Since its first observation and description in 1677, many important characteristics have been described regarding this highly fascinating gamete. In this review, our objective has been to provide a historical ...
متن کاملThe Local Limit Theorem: A Historical Perspective
The local limit theorem describes how the density of a sum of random variables follows the normal curve. However the local limit theorem is often seen as a curiosity of no particular importance when compared with the central limit theorem. Nevertheless the local limit theorem came first and is in fact associated with the foundation of probability theory by Blaise Pascal and Pierre de Fer...
متن کاملContribution of Women Scientists to Pharmacology: A Historical Perspective
The article highlights the contributions of a few prominent women scientists to the science of pharmacology. These women,some of whom were from other scientific fields, contributed significantly to our understanding of pharmacology. This was achieved in an era in which pharmacology was a more or less male dominated field. Even though it is easier for women to enter scientific fields nowadays, t...
متن کاملthe pathology of historical texts translation: a study of persian translations of 7th volume of cambridge history of iran
ترجمه با گسترش زبان آغاز شده و اهمیت آن روز به روز افزایش می یابد، و برای اولین بار به عنوان شاخه ای از دانش و روشی برای انتقال علوم، فرهنگ و تجربه در در دوره قاجار در ایران آغاز شد. در حقیقت متون تاریخی از اولین متونی هستند که در ایران ترجمه شدند چرا که به سیاستمداران آن دوره کمک می کردند تا به علل موفقیت جهان غرب و پیشرفت هایشان در طول تاریخ پی ببرند، بنابراین به تدریج ترجمه این گونه متون رون...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 2022
ISSN: ['0168-7433', '1573-0670']
DOI: https://doi.org/10.1007/s10817-022-09628-0